From logic design to logic programming - theorem proving techniques and P-functions
- Författare
- André Thayse Dominique Snyers
- (Dominique Snyers, André Thayse., S. 121-125: Bibliografi)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1987 | Tyskland, Berlin, New York | iv, 125 sidor. |